∀A,B∈2^X(A⊆B⟹A^∘⊆B^∘)